Самая большая электронная библиотека рунета. Поиск книг и журналов
#3
Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings (Lecture ... Programming and Software Engineering)
Gary T. Leavens, Peter O'Hearn, Sriram K. Rajamani
#5
Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings (Lecture Notes ... Programming and Software Engineering)
Gary T. Leavens, Peter O'Hearn, Sriram K. Rajamani
#8
Dublin Noir
Bruen Ken, Colfer Eoin, Mullan Pat, Coleman Reed Ferrel, Spiegelman Peter, Fusilli Jim, Starr Jason, Stella Charlie, Banks Ray, Steinhauer Olen, Rickards John, Wignall Kevin, Lippman Laura, Born James O., Weinman Sarah, Phillips Gary, Lambe Patrick J., Sw
#15
Higher Education Assessments: Leadership Matters (The American Council on Education Series on Higher Education)
Gary L. Kramer, Randy L. Swing, Raymond Barclay, Trudy Bers, Bryan D. Bradley, Peter J. Gray, Coral Hanson, Trav D. Johnson, Jillian Kinzie, Thomas E. Miller, John Muffo, Danny Olsen, Russell T. Osguthorpe, John H. Schuh, Kay H. Smith, Vasti Torres
|